301. Experimental algorithms :
Author: Ralf Klasing (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms -- Congresses.,Computer algorithms.,Informatique.

302. Experimental software engineering issues : critical assessment and future directions : International Workshop Dagstuhl Castle ,Germany, September 14-18, 1992 : proceedings
Author: H. Dieter Rombach, Victor R. Basili, Richard W. Selby, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
706


303. Extreme programming and agile processes in software engineering : 6th International Conference, XP 2005, Sheffield, UK , June 18-23, 2005; proceedings
Author: Hubert Baumeister, Michele Marchesi, Mike Holcombe )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، eXtreme programming
Classification :
QA
76
.
L28
Vol
.
3556


304. Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings
Author: Jutta Eckstein, Hubert Baumeister )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، eXtreme programming
Classification :
QA
76
.
L28
Vol
.
3092


305. Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, genova, Italy, May 25-29, 2003 : proceedings
Author: Michele Marchesi, Giancarlo Succi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، eXtreme programming
Classification :
QA
76
.
L28
Vol
.
2675


306. FM 2015
Author: \ Nikolaj Bjørner , Frank de Boer (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering.,روشهای صوری (کامپیوتر) -- کنگره ها ,مهندسی نرم افزار
Classification :
QA
76
.
9
.
F57
2015
E-Book
,


307. FM 2012
Author: Dimitra Giannakopoulou, Dominique Méry (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
I593
2012eb


308. FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05
Author: editors, Tiziana Margaria & Mieke Massink; sponsored by ACM SIGSOFT
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(
Classification :
QA
76
.
9
.
F67I53
2005


309. FST TCS 2000
Author: / Sanjiv Kapoor, Sanjiva Prasad (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Computer science--Congresses
Classification :
QA
,
76
.
751
,.
F68
,
2000


310. FST TCS 2000 :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Computer science ; Congresses. ;

311. FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd Conference, Kanpur, India, December 2002 : proceedings
Author: Manindra Agrawal, Anil Seth )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2556


312. FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003: proceedings
Author: Paritosh K. Pandya, Jaikumar Radhakrishnan )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2914


313. FST TCS 2001 : foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
Author: Ramesh Hariharan, Madhavan Mukund, V. Vinay )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2245


314. FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
Author: Sanjiv Kapoor, Snajiva Prasad )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
1974


315. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,


316. Formal Methods for Industrial Critical Systems
Author: \ Manuel Núñez , Matthias Güdemann (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,


317. Formal approaches to agent-based system
Author: / Michael G. Hinchey ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intelligent control systems--Congresses,Software engineering--Congresses
Classification :
TJ
,
217
.
5
,.
F33
,
2004


318. Formal approaches to agent-based systems
Author: / Michael G. Hinchey ... [et al.] (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Software engineering,-- Congresses,a05,Intelligent control systems--Congresses.
Classification :
TJ217
.
5
.
F33
2004


319. Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
Author: Michael G. Hinchey... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Intelligent control systems,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
3228


320. Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
Author: Michael G. Hinchey ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Intelligent control systems,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
2699

